2

Efficient self-interpretation in lambda calculus

Year:
1992
Language:
english
File:
PDF, 768 KB
english, 1992
4

Linear-Time Self-Interpretation of the Pure Lambda Calculus

Year:
2000
Language:
english
File:
PDF, 87 KB
english, 2000
12

WORM-2DPDAs: An extension to 2DPDAs that can be simulated in linear time

Year:
1994
Language:
english
File:
PDF, 625 KB
english, 1994
15

Tractable constraints in finite semilattices

Year:
1999
Language:
english
File:
PDF, 306 KB
english, 1999
40

[Undergraduate Topics in Computer Science] Introduction to Compiler Design ||

Year:
2011
Language:
english
File:
PDF, 1.52 MB
english, 2011
41

Electrochemical reduction of NiO in a composite electrode

Year:
2013
Language:
english
File:
PDF, 1.89 MB
english, 2013
44

Lifetime of the internal reference oxygen sensor

Year:
2013
Language:
english
File:
PDF, 962 KB
english, 2013